Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
241	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
242	The mereology of stages and persistent entities Thomas Bittner and Maureen Donnelly Institute for Formal Ontology and Medical Information Science (IFOMIS), University of Leipzig thomas.bittner, maureen.donnelly @ifomis.u Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-25 18:24:14 Ontology Formal ontology Spacetime Mereology
243	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formally Specifying CARA in Java? Eugene W. Stark Department of Computer Science, State University of New York at Stony Brook, Stony Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2003-08-25 12:18:38 Formal methods Programming paradigms Cross-platform software Theoretical computer science Logic in computer science Infusion pump Model checking Formal verification Java Object-oriented programming Coupling Design by contract
244	Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Formal methods Functional languages Automated theorem proving Computability theory Theoretical computer science Partial evaluation Theorem Functional programming Compiler Standard ML Succ Evaluation
245	Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-01-04 17:45:16 Logic in computer science Fault-tolerant computer systems Distributed algorithms Mathematical induction Raft Formal verification Consensus Leader election Mathematical proof Paxos Intuitionistic logic
246	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Static program analysis Theoretical computer science Safety Computer security Safety case KeY Hoare logic Formal verification Proof-carrying code Hazard analysis Loop invariant
247	RapidMiner Basics Part 1 RapidMiner Basics Part 1 Course Overview RapidMiner Basics Part 1 is a two day course focusing on data mining and predictive analytics with RapidMiner Add to Reading List Source URL: 1xltkxylmzx3z8gd647akcdvov-wpengine.netdna-ssl.com Language: English - Date: 2016-07-08 15:11:45 Formal sciences Image processing Neurobiology RapidMiner Business intelligence Data mining Predictive analytics Data science Analytics Cross Industry Standard Process for Data Mining Data analysis
248	12 Editorial Notes Classiﬁcation and Assessment of Large Amounts of Data: Examples in the Healthcare Industry and Collaborative Digital Libraries New ways of producing and using data provide an opportunity for research Add to Reading List Source URL: mitiq.mit.edu Language: English - Date: 2011-12-25 12:01:36 Formal sciences Data management Data quality Information science Big data Digital library Statistics Software development process Data mining
249	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20 Formal methods Type theory Dependently typed programming Theoretical computer science Logic in computer science Coq Abstract interpretation CurryHoward correspondence Predicate transformer semantics Proof-carrying code Correctness Lines of Action
250	Ontology for the Twenty First Century: An Introduction with Recommendations by Andrew D. Spear Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarbrücken, Germany University at Buffalo, Buffalo, Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:40 Ontology Information science Knowledge representation Technical communication Semantic Web Formal ontology Barry Smith Web Ontology Language Semantic interoperability Upper ontology Draft:Outline of ontologies

UPDATE